many-sorted predicate calculus
多种类谓词演算
热门查询
- idolatrize vt. 把…奉为偶像；盲目崇拜
- shape n. 形状；模型；身材；具体化 vt. 形成；塑造，使成形；使符合 vi. 形成；成形；成长 n. (Shape)人名；(瑞典)沙佩
- diem n. (Diem)人名；(德)迪姆
- costs n. [会计] 费用；损失（cost的复数）；诉讼费 v. 花费；使损失（cost的三单形式）
- palaeozoic a. 古生代的 n. 古生代
- myers n. 迈尔斯（姓氏）
- doorpost n. 门柱；门框
- ballroom n. 舞厅；跳舞场
- billy n. 棍棒，警棍；伙伴
- infielder n. 内野手，内场手
- Haddon [人名] [英格兰人姓氏] 哈登住所名称，来源于古英语，含义是“荒野+山”(heathland,heather+hill); [人名] [苏格兰人姓氏] 哈登 Haldane的变体; [地名] [英国] 哈登
- phytoplankton n. [植] 浮游植物（群落）
- viburnum n. 荚莲属的植物
- aboveboard adj. 光明正大的；直率的 adv. 光明正大地；率直地
- Radford [男子名] [英格兰人姓氏] 拉德福住所名称，来源于古英语，含义是“红+津渡”(red+ford); [地名] [美国] 雷德福
- bronzer n. 古铜色化妆品
- conferee n. 参加会议者
- chemiluminescence n. 化合光，化学发光
- Liddle [人名] [北方英格兰人、苏格兰人姓氏] 利德尔 Liddell的变体
- States n. 州，国家（state的复数形式） vt. 声明（state的第三人称单数形式）；陈述
考试词汇表
